Các hệ thống đại số máy tính bắt đầu xuất hiện từ đầu thập kỷ 1970, và tiến hóa dần thành trí tuệ nhân tạo, mặc dù hai ngành này giờ đây có vẻ tách biệt. Hệ thống đầu tiên được ứng dụng rộng rãi là Reduce, Derive, và Macsyma, trong đó Reduce vẫn còn được bán. Một phiên bản copyleft của Macsyma là Maxima đã được phát triển và vẫn đang được bảo trì. Hai hệ thống có bản quyền chiếm lĩnh thị trường hiện nay là Maple và Mathematica; được dùng rộng rãi bởi các nhà toán học, kỹ sư và khoa học gia. MuPAD cũng là một hệ thống đại số thương mại, nhưng có phiên bản miễn phí cho mục đích phi lợi nhuận và giáo dục. Một số hệ thống khác tập trung hỗ trợ cho nghiên cứu chuyên ngành và thường miễn phí.